201. Regular fabrics in deep sub-micron integrated-circuit design /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Integrated circuits-- Computer-aided design

رده :
TK7874
.
M53223
2004

202. Representations of discrete functions

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Integrated circuits-- Very large scale integration-- Design-- Data processing,، Computer-aided design,، Computable functions-- Data processing,، Logic design

رده :
TK
7874
.
75
.
R47
1996

203. Selected papers on computer-aided design of very large scale integrated circuits

پدیدآورنده :

موضوع : Integrated circuits - Very large scale integration - Design and construction - Data processing,Computer-aided design

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

204. Selected papers on computer-aided design of very large scale integrated circuits

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : ، Integrated circuits- Very large scale integration- Design and construction- Data processing,، Computer-aided design

رده :
TK
7874
.
S413

205. Selected papers on computer-aided design of very large scale integrated circuits

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Very large scale integration - Design and construction - Data processing ، Integrated circuits,، Computer-aided design

رده :
TK
7874
.
S413
1987

206. Sistemy avtomatizirovannogo proektirovaniق‌iقa integralس‌nykh skhem

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع : ، Integrated circuits- Design and construction- Data processing,، Computer- aided design

207. Solutions manual to accompany: synthesis and optimization of digital circuits

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Digital integrated circuits - Design and construction - Data processing , Digital electronics - Data processing , Computer-aided design

رده :
TK
7874
.
65
.
D42

208. Statistical modeling for computer-aided design of MOS VLSI circuits

پدیدآورنده :

موضوع : Metal oxide semiconductors - Design and construction - Statistical methods - Data processing,Metal oxide semiconductors - Mathematical models,Integrated circuits - Very large scale integration - Design and construction - Data processing,Integrated circuits - Very large scale integration - Mathematical models,Computer-aided design

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

209. Statistical performance analysis and modeling techniques for nanometer VLSI designs /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Integrated circuits-- Very large scale integration-- Computer-aided design.

رده :
TK7874
.
75
.
S54
2012eb

210. Statistical performance analysis and modeling techniques for nanometer VLSI designs

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Integrated circuits--Very large scale integration--Computer-aided design

رده :
TK7874
.
75
.
S54
2012

211. Synthesis and optimization of digital circuits

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Digital integrated circuits - Design and construction - Data processing,Digital electronics - Data processing,Computer-aided design

رده :
TK7874
.
65
.
D4
1994

212. Synthesis and optimization of digital circuits

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Digital integrated circuits - Design and construction - Data processing , Digital electronics - Data processing , Computer-aided design

رده :
TK
7874
.
65
.
D4

213. Synthesis and optimization of digital circuits

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Digital integrated circuits-- Design and construction-- Data processing,، Digital electronics-- Data processing,، Computer-aided design

رده :
TK
7874
.
65
.
D4
1994

214. Synthesis and optimization of digital circuits

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : ، Digital integrated circuits- Design and construction- Data processing,، Digital electronics- Data processing,، Computer-aided design

رده :
TK
7874
.
65
.
D4

215. System-level design with Rosetta

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)

موضوع : Computer-aided design ، Integrated circuits

رده :
TK
7874
.
A412
2007

216. Systematic Design of Analog CMOS Circuits :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Integrated circuits-- Computer-aided design.,Metal oxide semiconductors, Complementary-- Computer-aided design.,Integrated circuits-- Computer-aided design.,Metal oxide semiconductors, Complementary-- Computer-aided design.

رده :
TK7871
.
99
.
M44
J47
2017

217. Technology CAD: computer simulation of IC processes and devices

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)

موضوع : Integrated circuits - Computer simulation,Integrated circuits - Design and construction - Data processing,Computer aided design

رده :
TK7874
.
D88
1993

218. Technology computer aided design :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Integrated circuits-- Very large scale integration-- Computer-aided design.,Metal oxide semiconductor field-effect transistors-- Computer-aided design.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Microelectronics.,TECHNOLOGY & ENGINEERING-- Material Science.

219. The fusion of hardware design and verification :proceedings of the IFIP WG 10.2 Working Conference on the Fusion of Hardware Desi Verification, Glasgow, Scotland, 4-6 July 1988

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع : Integrated circuits--Design and construction--Data-processing--Congres,Computer-aided design--Congresses,Integrated circuits--Verification--Congresses

رده :
TK
،
7874
،.
I328
،
1988

220. Theorem provers in circuit design :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Automatic theorem proving -- Congresses.,Automatic theorem proving.,Digital integrated circuits -- Computer-aided design -- Congresses.

رده :
TK7874
.
65
R363
1995